home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / modprolg / mod-prol.lha / Prolog / README < prev   
Text File  |  1992-06-16  |  3KB  |  83 lines
  1.  
  2.                              MODULAR SB-PROLOG
  3.                              =================
  4.  
  5. To install this software, simply type `make' inside directory `sim'.
  6. This should build all the C sources for the Prolog. The rest of the files
  7. in directories `modlib', `cmplib' and `lib' are in a machine independent
  8. format and require no alteration.
  9.  
  10. Next, alter the contents of the file `INIT' in this directory, so that
  11. the environmental variable `SBPDIR' is the correct search path for the
  12. Prolog system (Note : the file `INIT' is for use with the bash shell,
  13. use `CSH_INIT' for the csh shell).
  14.  
  15. To run the software, type `source INIT' (or `CSH_INIT').
  16. The command `sbp' now loads Prolog.
  17.  
  18. This software is known to run on a Sun-4, but does not run on a Sun-3.
  19. Other architectures have not been tried.
  20.  
  21.      ******************************************************************
  22.      * This is NOT the standard version of SB-Prolog version 3.1 !!!! *
  23.      ******************************************************************
  24.  
  25. Modular Prolog Extension
  26. ========================
  27.  
  28. The version of SB-Prolog in this directory is SB-Prolog 3.1, but has been 
  29. radically altered to include a complete modules system based on
  30. the paper :
  31.  
  32. "The Implementation of a Modular Prolog System Based on Standard ML Modules"
  33.    B Paxton, 4th Year Project Report, Departments of Artificial Intelligence
  34.    and Computer Science, University of Edinburgh, June 1992.
  35.  
  36. from the original proposal :
  37.  
  38. "A Calculus for the Construction of Modular Prolog Programs",
  39.    D T Sannella and L A Wallen, The Journal of Logic Programming 1992,
  40.    Volume 12, Nos 1 and 2, pp 147-178.
  41.  
  42. I have changed many parts of the SB-Prolog system, erasing some old
  43. features and adding new ones. Although this system is based on
  44. SB-Prolog, certain Standard Prolog programs cannot be run without
  45. alteration.
  46.  
  47. An overview of the files given in this distribution is given in file
  48. FILES, which includes details of where to find documentation.
  49.  
  50. I have removed many of the information files associated with the
  51. original SB-Prolog system, and only kept those that are relevant.
  52. More information about SB-Prolog can be obtained from the original
  53. version of the system, available by ftp.
  54.  
  55. I accept no responsibility for any faults in this system or the
  56. removal of parts of the original SB-Prolog system.
  57.  
  58. Each file is still clearly marked with the 'Copyright SUNY at Stony
  59. Brook' banner and in addition, all of the files I have altered carry
  60. an additional message.
  61.  
  62. This work was done as a final year project for the Departments of
  63. Artificial Intelligence and Computer Science, University of Edinburgh,
  64. October 1991 to June 1992.
  65.  
  66. Brian Paxton,
  67. University of Edinburgh, 1992.
  68. (E-mail: mprolog@dcs.ed.ac.uk)
  69.  
  70. P.S. In order to obtain some simple statistics on this system, I would
  71.      be grateful if you could e-mail me at the above address, explaining
  72.      simply how and where you obtained this system, if you find the
  73.      system interesting, and how often the system is used. Thanks.
  74.  
  75. *****************************************************************************
  76.  
  77. (From SB-Prolog 3.1 version :)
  78. This directory contains version 3.1 of SB-Prolog.
  79.  
  80. It has essentially the functionality of version 2.5, but has been
  81. rewritten so that it runs on alignment-restricted processors
  82. like Sun-4, Pyramid-98x, and SGI Iris.  
  83.